(include-book "../src/acl2/rule-creator")

(set-state-ok t)
(defun kickoff (state) 
  (mv-let (str error state)
          (file->string "rule.xml" state)
          (declare (ignore error))
          (mv (make-rules (str->chrs str)) state)))